1. Leveraging applications of formal methods, verification and validation :
Author: Tiziana Margaria, Bernhard Steffen (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.
Classification :
QA76
.
9
.
F67
2. Practical Java machine learning :
Author: Mark Wickham.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Java (Computer program language),Machine learning.,COMPUTERS-- General.,Java (Computer program language),Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.
Classification :
Q325
.
5
